58 research outputs found

    A constant lower bound for the union-closed sets conjecture

    Full text link
    We show that for any union-closed family FβŠ†2[n],Fβ‰ {βˆ…}\mathcal{F} \subseteq 2^{[n]}, \mathcal{F} \neq \{\emptyset\}, there exists an i∈[n]i \in [n] which is contained in a 0.010.01 fraction of the sets in F\mathcal{F}. This is the first known constant lower bound, and improves upon the Ξ©(log⁑2(∣F∣)βˆ’1)\Omega(\log_2(|\mathcal{F}|)^{-1}) bounds of Knill and W\'{o}jick. Our result follows from an information theoretic strengthening of the conjecture. Specifically, we show that if A,BA, B are independent samples from a distribution over subsets of [n][n] such that Pr[i∈A]<0.01Pr[i \in A] < 0.01 for all ii and H(A)>0H(A) > 0, then H(AβˆͺB)>H(A)H(A \cup B) > H(A).Comment: 9 pages, 1 figure. (Update 11/28/22: Typos fixed, and added reference to follow up work improving the bound and refuting Conjecture 1.
    • …
    corecore